Error

two or more packages specified (1997 - 2024 libghc-simple-smt-dev)